2

Product line process theory

Année:
2016
Langue:
english
Fichier:
PDF, 963 KB
english, 2016
8

Verification of mobile ad hoc networks: An algebraic approach

Année:
2011
Langue:
english
Fichier:
PDF, 449 KB
english, 2011
17

An adaptive sinkhole aware algorithm in wireless sensor networks

Année:
2017
Langue:
english
Fichier:
PDF, 1.18 MB
english, 2017
18

Model checking mobile ad hoc networks

Année:
2016
Langue:
english
Fichier:
PDF, 1.04 MB
english, 2016
20

Verification of asynchronous systems with an unspecified component

Année:
2018
Langue:
english
Fichier:
PDF, 1.42 MB
english, 2018
24

Reliable Restricted Process Theory

Année:
2019
Langue:
english
Fichier:
PDF, 468 KB
english, 2019